and Logic - PDFSEARCH.IO - Document Search Engine

and Logic
Results: 11835

#	Item
461	Low-cost nanosecond electronic coincidence detector Taehyun Kim∗ , Marco Fiorentino, Pavel V. Gorelik and Franco N. C. Wong arXiv:physics/0501141v1 [physics.ins-det] 27 JanResearch Laboratory of Electronics, Mas Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-02 00:07:27 Electronics Electromagnetism Technology Electronic test equipment Digital electronics Electronic circuits Radio electronics Signal processing Transistortransistor logic Pulse generator Coincidence detection in neurobiology Logic family
462	Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-21 06:02:19 Theoretical computer science Software engineering Programming language theory Logic in computer science Proof assistants Formal methods Automated theorem proving Isabelle Satisfiability modulo theories ACL2 Curry Logic for Computable Functions
463	CANONICAL SUBGROUPS VIA BREUIL-KISIN MODULES FOR p = 2 SHIN HATTORI Abstract. Let p be a rational prime and K/Qp be an extension of complete discrete valuation fields. Let G be a truncated Barsotti-Tate group of level n, Add to Reading List Source URL: www2.math.kyushu-u.ac.jp Language: English Algebra Abstract algebra Group theory Algebraic number theory Galois theory Frobenius group Galois module Order Free group Linear temporal logic
464	IFSA Newsletter Vol. 10, No. 3, September 2013 page In this issue: Message from Newsletter Editor – Add to Reading List Source URL: isdlab.ie.ntnu.edu.tw Language: English - Date: 2016-04-12 22:54:38 Artificial intelligence Fuzzy logic Academia Logic Science and technology Lotfi A. Zadeh Fuzzy set Computational intelligence Neuro-fuzzy Fuzzy control system Fuzzy Sets and Systems Rough set
465	Rubric for Grading Student Solutions Katherine E. Stange In a proof, we seek: 1. First, a complete and correct logical proof of the assertion. 2. Second, a readable exposition. Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-10-18 16:53:01 Education Knowledge Academia Mathematical proofs Education reform Academic transfer Statements Grading systems by country Fallacy Rubric Mathematical logic Theorem
466	Beyond Knights and Knaves Christine T. Cheng1 , Andrew McConvey2,⋆ , Drew Onderko1,⋆ , Nathaniel Shar3,⋆ , and Charles Tomlinson4 1 Department of Computer Science, University of Wisconsin-Milwaukee, Milwaukee, Add to Reading List Source URL: www.cs.uwm.edu Language: English - Date: 2013-03-08 22:21:12 Logic puzzles Knights and Knaves
467	Objectivity Through Diversity: Another Logic of Scientific Research Today strategies to maximize the “view from nowhere” are widely recognized to be incompetent to detect in the results of research social values and Add to Reading List Source URL: www.psc2016.sinica.edu.tw Language: English - Date: 2016-02-17 05:56:36 Feminist theory Journalistic objectivity Strong objectivity Objectivity Social relation Philosophy Academia Personal life
468	CrossMark_Color_Stacked_p Add to Reading List Source URL: www.ircs.upenn.edu Language: English - Date: 2016-04-28 15:46:45 Semantics Linguistics Logic Analytic philosophy Language acquisition Philosophical logic Philosophy of language Reference Referent Vocabulary development Proper noun Gender-specific and gender-neutral third-person pronouns
469	IFSA Newsletter Vol. 9, No. 1, March 2012 In this issue: page Add to Reading List Source URL: isdlab.ie.ntnu.edu.tw Language: English - Date: 2016-04-12 22:54:47 Academia Fuzzy logic Systems scientists Science and technology Systems science Artificial intelligence George Klir Logic in computer science Rudolf Kruse Lotfi A. Zadeh Fuzzy Sets and Systems Fuzzy set
470	COURSES IN ENGLISH AT THE FACULTY OF MATHEMATICS AND COMPUTER SCIENCE UNIVERSITY OF LODZ WINTER SEMESTER Add to Reading List Source URL: erasmus.math.uni.lodz.pl Language: English - Date: 2016-04-13 07:07:15 Engineering Academia Science and technology Algorithm Mathematical logic Theoretical computer science Computer science Programming language Artificial neural network Analysis Outline of computer science Shaikh College of Engineering and Technology

UPDATE